Serveur d'exploration sur la télématique

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Norvège192
Peter Herrmann12
Norvège Sauf Peter Herrmann" 181
Peter Herrmann Sauf Norvège" 1
Norvège Et Peter Herrmann 11
Norvège Ou Peter Herrmann 193
Corpus13574
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 11.
Ident.Authors (with country if any)Title
000824 Rune S Tre [Norvège] ; Mohammad Ullah Khan [Norvège] ; Erlend Stav [Norvège] ; Alfredo Perez Fernandez [Norvège] ; Peter Herrmann [Norvège] ; Jon Atle Gulla [Norvège]Towards Ontology-Driven End-User Composition of Personalized Mobile Services
000977 Vidar Sl Tten [Norvège] ; Peter Herrmann [Norvège]Contracts for Multi-instance UML Activities
000A21 Linda Ariani Gunawan [Norvège] ; Frank Alexander Kraemer [Norvège] ; Peter Herrmann [Norvège]A Tool-Supported Method for the Design and Implementation of Secure Distributed Applications
000D05 Frank Alexander Kraemer [Norvège] ; Peter Herrmann [Norvège]Reactive Semantics for Distributed UML Activities
001240 Frank Alexander Kraemer [Norvège] ; Vidar Sl Tten [Norvège] ; Peter Herrmann [Norvège]Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks – An Example
001296 Máté J. Csorba [Norvège] ; Hein Meling [Norvège] ; Poul E. Heegaard [Norvège] ; Peter Herrmann [Norvège]Foraging for Better Deployment of Replicated Service Components
001393 Frank Alexander Kraemer [Norvège] ; Peter Herrmann [Norvège]Automated Encapsulation of UML Activities for Incremental Development and Verification
001882 Máté J. Csorba [Norvège] ; Poul E. Heegaard [Norvège] ; Peter Herrmann [Norvège]Cost-Efficient Deployment of Collaborating Components
001B33 Frank Alexander Kraemer [Norvège] ; Rolv Br K [Norvège] ; Peter Herrmann [Norvège]Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications
001F38 Peter Herrmann [Norvège]Temporal Logic-Based Specification and Verification of Trust Models
002160 Frank Alexander Kraemer [Norvège] ; Peter Herrmann [Norvège] ; Rolv Br K [Norvège]Aligning UML 2.0 State Machines and Temporal Logic for the Efficient Execution of Services

Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Thu Nov 2 16:09:04 2017. Site generation: Sun Mar 10 16:42:28 2024